#ifndef _ZERO_CORBA_CORBA_H
#define _ZERO_CORBA_CORBA_H
#include "Scheduler.h"
#include "ExecuteBody.h"

namespace zerotest
{
extern void corba_test_entry(laddr_t, laddr_t);
}

namespace zero
{
extern void corba_init(void);
}
#endif
